Optimal. Leaf size=157 \[ \frac{\sqrt [4]{-1} d^{3/2} \tan ^{-1}\left (\frac{(-1)^{3/4} \sqrt{d \tan (e+f x)}}{\sqrt{d}}\right )}{8 a^3 f}+\frac{d \sqrt{d \tan (e+f x)}}{8 f \left (a^3+i a^3 \tan (e+f x)\right )}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.372151, antiderivative size = 157, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {3558, 3596, 12, 16, 3549, 3533, 205} \[ \frac{\sqrt [4]{-1} d^{3/2} \tan ^{-1}\left (\frac{(-1)^{3/4} \sqrt{d \tan (e+f x)}}{\sqrt{d}}\right )}{8 a^3 f}+\frac{d \sqrt{d \tan (e+f x)}}{8 f \left (a^3+i a^3 \tan (e+f x)\right )}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3558
Rule 3596
Rule 12
Rule 16
Rule 3549
Rule 3533
Rule 205
Rubi steps
\begin{align*} \int \frac{(d \tan (e+f x))^{3/2}}{(a+i a \tan (e+f x))^3} \, dx &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}-\frac{\int \frac{-\frac{a d^2}{2}+\frac{7}{2} i a d^2 \tan (e+f x)}{\sqrt{d \tan (e+f x)} (a+i a \tan (e+f x))^2} \, dx}{6 a^2}\\ &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}-\frac{\int \frac{6 i a^2 d^3 \tan (e+f x)}{\sqrt{d \tan (e+f x)} (a+i a \tan (e+f x))} \, dx}{24 a^4 d}\\ &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}-\frac{\left (i d^2\right ) \int \frac{\tan (e+f x)}{\sqrt{d \tan (e+f x)} (a+i a \tan (e+f x))} \, dx}{4 a^2}\\ &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}-\frac{(i d) \int \frac{\sqrt{d \tan (e+f x)}}{a+i a \tan (e+f x)} \, dx}{4 a^2}\\ &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}+\frac{d \sqrt{d \tan (e+f x)}}{8 f \left (a^3+i a^3 \tan (e+f x)\right )}+\frac{i \int \frac{\frac{1}{2} i a d^2-\frac{1}{2} a d^2 \tan (e+f x)}{\sqrt{d \tan (e+f x)}} \, dx}{8 a^4}\\ &=-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}+\frac{d \sqrt{d \tan (e+f x)}}{8 f \left (a^3+i a^3 \tan (e+f x)\right )}-\frac{\left (i d^4\right ) \operatorname{Subst}\left (\int \frac{1}{\frac{1}{2} i a d^3+\frac{1}{2} a d^2 x^2} \, dx,x,\sqrt{d \tan (e+f x)}\right )}{16 a^2 f}\\ &=\frac{\sqrt [4]{-1} d^{3/2} \tan ^{-1}\left (\frac{(-1)^{3/4} \sqrt{d \tan (e+f x)}}{\sqrt{d}}\right )}{8 a^3 f}-\frac{d \sqrt{d \tan (e+f x)}}{6 f (a+i a \tan (e+f x))^3}+\frac{d \sqrt{d \tan (e+f x)}}{6 a f (a+i a \tan (e+f x))^2}+\frac{d \sqrt{d \tan (e+f x)}}{8 f \left (a^3+i a^3 \tan (e+f x)\right )}\\ \end{align*}
Mathematica [A] time = 2.18219, size = 158, normalized size = 1.01 \[ \frac{d^2 (\sin (3 (e+f x))+i \cos (3 (e+f x))) \left (3 i \sin (e+f x)-3 i \sin (3 (e+f x))+5 \cos (e+f x)-5 \cos (3 (e+f x))+6 \sqrt{i \tan (e+f x)} \tanh ^{-1}\left (\sqrt{\frac{-1+e^{2 i (e+f x)}}{1+e^{2 i (e+f x)}}}\right ) (\cos (3 (e+f x))+i \sin (3 (e+f x)))\right )}{48 a^3 f \sqrt{d \tan (e+f x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.054, size = 148, normalized size = 0.9 \begin{align*}{\frac{-{\frac{i}{8}}{d}^{2}}{f{a}^{3} \left ( -id+d\tan \left ( fx+e \right ) \right ) ^{3}} \left ( d\tan \left ( fx+e \right ) \right ) ^{{\frac{5}{2}}}}-{\frac{5\,{d}^{3}}{12\,f{a}^{3} \left ( -id+d\tan \left ( fx+e \right ) \right ) ^{3}} \left ( d\tan \left ( fx+e \right ) \right ) ^{{\frac{3}{2}}}}+{\frac{{\frac{i}{8}}{d}^{4}}{f{a}^{3} \left ( -id+d\tan \left ( fx+e \right ) \right ) ^{3}}\sqrt{d\tan \left ( fx+e \right ) }}-{\frac{{\frac{i}{8}}{d}^{2}}{f{a}^{3}}\arctan \left ({\sqrt{d\tan \left ( fx+e \right ) }{\frac{1}{\sqrt{id}}}} \right ){\frac{1}{\sqrt{id}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: RuntimeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.40073, size = 927, normalized size = 5.9 \begin{align*} -\frac{{\left (12 \, a^{3} f \sqrt{-\frac{i \, d^{3}}{64 \, a^{6} f^{2}}} e^{\left (6 i \, f x + 6 i \, e\right )} \log \left (\frac{{\left (-2 i \, d^{2} e^{\left (2 i \, f x + 2 i \, e\right )} + 16 \,{\left (a^{3} f e^{\left (2 i \, f x + 2 i \, e\right )} + a^{3} f\right )} \sqrt{\frac{-i \, d e^{\left (2 i \, f x + 2 i \, e\right )} + i \, d}{e^{\left (2 i \, f x + 2 i \, e\right )} + 1}} \sqrt{-\frac{i \, d^{3}}{64 \, a^{6} f^{2}}}\right )} e^{\left (-2 i \, f x - 2 i \, e\right )}}{d}\right ) - 12 \, a^{3} f \sqrt{-\frac{i \, d^{3}}{64 \, a^{6} f^{2}}} e^{\left (6 i \, f x + 6 i \, e\right )} \log \left (\frac{{\left (-2 i \, d^{2} e^{\left (2 i \, f x + 2 i \, e\right )} - 16 \,{\left (a^{3} f e^{\left (2 i \, f x + 2 i \, e\right )} + a^{3} f\right )} \sqrt{\frac{-i \, d e^{\left (2 i \, f x + 2 i \, e\right )} + i \, d}{e^{\left (2 i \, f x + 2 i \, e\right )} + 1}} \sqrt{-\frac{i \, d^{3}}{64 \, a^{6} f^{2}}}\right )} e^{\left (-2 i \, f x - 2 i \, e\right )}}{d}\right ) -{\left (4 \, d e^{\left (6 i \, f x + 6 i \, e\right )} + 4 \, d e^{\left (4 i \, f x + 4 i \, e\right )} - d e^{\left (2 i \, f x + 2 i \, e\right )} - d\right )} \sqrt{\frac{-i \, d e^{\left (2 i \, f x + 2 i \, e\right )} + i \, d}{e^{\left (2 i \, f x + 2 i \, e\right )} + 1}}\right )} e^{\left (-6 i \, f x - 6 i \, e\right )}}{48 \, a^{3} f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: AttributeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.17094, size = 223, normalized size = 1.42 \begin{align*} -\frac{1}{24} \, d^{4}{\left (\frac{3 i \, \sqrt{2} \arctan \left (\frac{16 \, \sqrt{d^{2}} \sqrt{d \tan \left (f x + e\right )}}{8 i \, \sqrt{2} d^{\frac{3}{2}} + 8 \, \sqrt{2} \sqrt{d^{2}} \sqrt{d}}\right )}{a^{3} d^{\frac{5}{2}} f{\left (\frac{i \, d}{\sqrt{d^{2}}} + 1\right )}} + \frac{3 i \, \sqrt{d \tan \left (f x + e\right )} d^{2} \tan \left (f x + e\right )^{2} + 10 \, \sqrt{d \tan \left (f x + e\right )} d^{2} \tan \left (f x + e\right ) - 3 i \, \sqrt{d \tan \left (f x + e\right )} d^{2}}{{\left (d \tan \left (f x + e\right ) - i \, d\right )}^{3} a^{3} d^{2} f}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]